Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
241	Pluralities and Sets∗ Øystein Linnebo Birkbeck, University of London 1 Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2013-07-31 14:44:40 Quantification Z notation Predicate logic Computability theory S Plural quantification First-order logic Arithmetical hierarchy Constructible universe Mathematical logic Logic Mathematics
242	Probabilistic elementary analysis Main results, and references Quantifying over events in probability logic: expressibility vs. computability Stanislav O. Speranski Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-09-05 03:25:42 Logical syntax Non-classical logic Philosophical logic Model theory Quantification Probabilistic logic Probability space Well-formed formula Proposition Logic Mathematical logic Metalogic
243	Empiricism, Probability, and Knowledge of Arithmetic Sean Walsh, Department of Logic and Philosophy of Science, University of California, Irvine The topic of this paper is the tenability of a certain type of empiricism a Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-16 13:22:33 Proof theory Logic in computer science Computability theory Effective descriptive set theory Peano axioms Logicism Second-order arithmetic Philosophy of mathematics Axiom Mathematics Mathematical logic Logic
244	Realizability Toposes Stijn Vermeeren Darwin College Bekaflaan 1 bus[removed]Aarschot Belgium Add to Reading List Source URL: stijnvermeeren.be Language: English - Date: 2010-07-15 09:29:15 Functions and mappings Model theory Computability theory Primitive recursive function Recursion Theory of computation Function Interpretation First-order logic Mathematical logic Mathematics Logic
245	Table 2 Rule of Recursion System and Method for Augmenting Knowledge Commerce Add to Reading List Source URL: www.matttaylor.com Language: English - Date: 2013-12-08 18:15:32 Software engineering Mathematical logic Theoretical computer science Recursion Computability theory Iteration Algorithm Infinite loop Computer programming Programming idioms Computing
246	4.6. THE PRIMITIVE RECURSIVE FUNCTIONS[removed] Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-02-22 14:54:13 Computer science Mathematical logic Primitive recursive function Computable function Computability Model theory Recursion Μ operator Μ-recursive function Computability theory Theory of computation Theoretical computer science
247	Semantics and Syntax A Legacy of Alan Turing Scientific Report Arnold Beckmann (Swansea) S. Barry Cooper (Leeds) Benedikt L¨owe (Amsterdam) Elvira Mayordomo (Zaragoza) Add to Reading List Source URL: www.newton.ac.uk Language: English - Date: 2014-07-22 11:47:42 Theoretical computer science Probabilistic complexity theory Formal sciences Computational complexity theory Mathematical logic Computability theory Algorithm Alan Turing Randomized algorithm Mathematics Science Applied mathematics
248	The complexity of real recursive functions Manuel Lameiras Campagnolo D.M./I.S.A., Universidade T´ecnica de Lisboa, Tapada da Ajuda, [removed], Lisboa, Portugal; C.L.C./D.M./I.S.T., Universidade T´ecnica de Lisboa, Av. Add to Reading List Source URL: wslc.math.ist.utl.pt Language: English - Date: 2003-02-11 11:10:46 Mathematical logic Theory of computation Recursion Functions and mappings Programming idioms Primitive recursive function ELEMENTARY Computable function Function Theoretical computer science Mathematics Computability theory
249	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-03-29 19:34:46 Computer science Logic in computer science Programming language semantics Computability theory Formal methods Operational semantics Lambda calculus Denotational semantics Abstract interpretation Theoretical computer science Models of computation Applied mathematics
250	Automatic Mutual Exclusion and Atomicity Checks Mart´ın Abadi1,2 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:04:04 Predicate logic Models of computation Formal methods Computability theory Lambda calculus Theoretical computer science Mereology Modal logic Free variables and bound variables Logic Mathematics Mathematical logic

UPDATE